想像一個世界，個人的身份不是由你在隊伍中的位置決定，而是由你是誰決定。在離散數學中， 集合 是思想中的主權公民——無序且互異對象的集合。本模組彌合了這些直覺性分類與形式邏輯之間的差距，展現集合運算如何為邏輯連接詞提供建築藍圖。
成員資格的語法
與有序對 $(a, b)$ 或 $n$-元組中位置至關重要不同，集合 $\{a, b\}$ 僅由其元素定義。因此，$\{a, b\} = \{b, a\}$。這種對順序的不重視，使我們能專注於 身份 成員資格的身分。
子集與真子集
包含關係 $A \subseteq B$ 意味著 $A$ 的每個元素都在 $B$ 內。然而， 真子集 $A \subset B$ 要求更多：$B$ 必須至少包含一個不在 $A$ 中的元素。 不在 於 $A$。
冪集
集合 冪集 $\mathcal{P}(S)$ 是 $S$ 所有可能子集的集合。若 $|S| = n$，則 $|\mathcal{P}(S)| = 2^n$，映射出基礎可能性的指數級規模。
邏輯橋樑：集合運算
集合運算是邏輯思維的具體表現：
- 聯集 ($A \cup B$)： 邏輯上的 或。屬於 $A$ 或 $B$ 的元素。
- 交集 ($A \cap B$)： 邏輯上的 且。同時屬於 $A$ 與 $B$ 的元素。
- 不相交集合 ($A \cap B = \emptyset$)： 互相排斥的邏輯條件。
範例解析：學生資料庫
考慮資料庫 $D_1 = \{\text{Garth, Erin, Marty}\}$。我們定義兩個謂詞：
- 集合 $A$：身高超過 5 英尺 10 英吋的學生 $\to \{\text{Garth, Marty}\}$。
- 集合 $B$：名字以「y」結尾的學生 $\to \{\text{Marty}\}$。
集合 交集 $A \cap B$ 產生 $\{\text{Marty}\}$。這展示了邏輯「且」如何根據重疊條件篩選群體。馬蒂是唯一同時符合高個子和名字以「y」結尾的學生。
🎯 核心原則
集合僅由其成員決定；順序無關緊要。如聯集與交集等集合運算，是邏輯運算符「或」與「且」的結構前身。
$x \in A \cup B \iff (x \in A) \lor (x \in B)$
$x \in A \cap B \iff (x \in A) \land (x \in B)$
$x \in A \cap B \iff (x \in A) \land (x \in B)$